1. Electronic Visualisation in Arts and Culture
Author: / Jonathan P. Bowen, Suzanne Keene, Kia Ng
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
2. Electronic visualisation in arts and culture
Author: Bowen, Jonathan P.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Art and technology -- Congresses,، Technology and the arts -- Congresses,، Image processing -- Congresses
Classification :
TA
357
.
V52
2013
3. Electronic visualisation in arts and culture /
Author: Jonathan P. Bowen, Suzanne Keene, Kia Ng, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Art and technology, Congresses,Arts-- Data processing, Congresses,Image processing, Congresses,Technology and the arts, Congresses,Visualization, Congresses
Classification :
N72
.
T4
4. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
5. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
Classification :
QA76
.
758
6. Formal Methods: State of the Art and New Directions
Author: / Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
7. Formal methods
Author: Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Formal methods (Computer science)
Classification :
QA
،
76
.
9
،.
F67
,
F665
،
2010
8. Formal methods : state of the art and new directions
Author: editors Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67
F67
2010
9. High-integrity system specification and design.
Author: Jonathan P Bowen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Databehandling,Systemutveckling
Classification :
QA76
.
9
.
S88
J663
1999
10. Industrial-Strength Formal Methods in Practice
Author: edited by Michael G. Hinchey, Jonathan P. Bowen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
F67
E358
1999
11. ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
Author: Jonathan P. Bowen...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1878
12. ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 1998 : proceedings
Author: Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1493
13. ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Author: Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1212
